Implicit function theorem over free groups
نویسندگان
چکیده
We introduce the notion of a regular quadratic equation and a regular NTQ system over a free group. We prove the results that can be described as Implicit function theorems for algebraic varieties corresponding to regular quadratic and NTQ systems. We will also show that the Implicit function theorem is true only for these varieties. In algebraic geometry such results would be described as lifting solutions of equations into generic points. From the model theoretic view-point we claim the existence of simple Skolem functions for particular ∀∃-formulas over free groups. Proving these theorems we describe in details a new version of the Makanin-Razborov process for solving equations in free groups. We also prove a weak version of the Implicit function theorem for NTQ systems which is one of the key results in the solution of the Tarski’s problems about the elementary theory of a free group. At the end we show that only groups isomorphic to coordinate groups of regular NTQ systems can be elementary equivalent to a free group.
منابع مشابه
A common fixed point theorem for weakly compatible maps satisfying common property (E:A:) and implicit relation in intuitionistic fuzzy metric spaces
In this paper, employing the common property ($E.A$), we prove a common fixed theorem for weakly compatible mappings via an implicit relation in Intuitionistic fuzzy metric space. Our results generalize the results of S. Kumar [S. Kumar, {it Common fixed point theorems in Intuitionistic fuzzy metric spaces using property (E.A)}, J. Indian Math. Soc., 76 (1-4) (2009), 94--103] and C. Alaca et al...
متن کاملIsogeometric Topology Optimization by Using Optimality Criteria and Implicit Function
A new method for structural topology optimization is introduced which employs the Isogeometric Analysis (IA) method. In this approach, an implicit function is constructed over the whole domain by Non-Uniform Rational B-Spline (NURBS) basis functions which are also used for creating the geometry and the surface of solution of the elasticity problem. Inspiration of the level set method zero level...
متن کاملMathematical Modeling of Potential Flow over a Rotating Cylinder (RESEARCH NOTE)
Potential flow over rotating cylinder is usually solved by the singularity method. However,in this paper a mathematical solution is presented for this problem by direct solution of the Laplace’sequation. Flow over the cylinder was considered non-viscous. Neumann and Dirichlet boundaryconditions were used on the solid surfaces and in the infinity, respectively. Because of non-viscous flow,the La...
متن کاملThe implicit function theorem and free algebraic sets
We prove an implicit function theorem for non-commutative functions. We use this to show that if p(X, Y ) is a generic non-commuting polynomial in two variables, and X is a generic matrix, then all solutions Y of p(X, Y ) = 0 will commute with X.
متن کاملA RELATED FIXED POINT THEOREM IN n FUZZY METRIC SPACES
We prove a related fixed point theorem for n mappings which arenot necessarily continuous in n fuzzy metric spaces using an implicit relationone of them is a sequentially compact fuzzy metric space which generalizeresults of Aliouche, et al. [2], Rao et al. [14] and [15].
متن کامل